reflexive and transitive but not symmetric